$\vdash$  $\forall$$A$,$B$:$\mathbb{P}$. ($A$ $\Leftarrow\!\Rightarrow$ $B$) $\in$ $\mathbb{P}$